|
1.
OWL-S模型转化为重写逻辑模型的方法
沈雅芬 黄宁 彭永义
计算机应用
2011, 31 (06):
1491-1494.
DOI: 10.3724/SP.J.1087.2011.01491
OWL-S模型在基于服务的软件设计中具有重要作用,但由于其非完全形式化的模型,不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架,通过对数据类型、表达式、控制结构与Process的转换,设计并实现了OWL-S模型到重写逻辑模型的自动转化工具,为能够在软件实现前为设计模型的形式化分析与验证,以及可靠性分析提供基础。
相关文章 |
多维度评价
|
|